🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Language Theory
Type Systems, Formal Methods, Lambda Calculus, Category Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org
·
1d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org
·
1d
·
Discuss:
Hacker News
,
r/programming
🧩
programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org
·
1d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Using AI for candidate ranking with RavenDB
ayende.com
·
7h
🧩
programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Programmer Identity Crisis
hojberg.xyz
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Causal Abstractions, Categorically Unified
arxiv.org
·
3d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Mondrian introduction to functional optics
marcosh.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
🎨
Graphics Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Programmer in Wonderland
binaryigor.com
·
1d
·
Discuss:
Hacker News
🧩
programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org
·
3d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.org
·
1d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org
·
1d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org
·
1d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Comparing human and language models sentence processing difficulties on complex structures
arxiv.org
·
1d
🧩
programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org
·
3d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Lobsters Interview with Zdsmith
lobste.rs
·
13h
·
Discuss:
Lobsters
🧩
programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org
·
1d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org
·
1d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org
·
1d
⚙️
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A new breed of analyzers
daniel.haxx.se
·
7h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧩
programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »